Source: ISSN: 1866-9565 ; Archaeological and Anthropological Sciences ; https://hal.science/hal-04280897 ; Archaeological and Anthropological Sciences, 2023, ⟨10.21203/rs.3.rs-2762261/v1⟩.

Record details

Read More Add to Saved list

Conference

AMAN Case Study

Authors : Palanque, Philippe; Campos, José Creissac;

Subjects: Interactive systems; formal methods; Case studyNancy; France

Source: Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings ; 9th International Conference on Rigorous State-Based Methods (ABZ 2023) ;

Record details

Read More Add to Saved list

Academic Journal

Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems

Authors : Baron, Claude; Louis, Vincent;

Subjects: Certification standards; Avionics; Safety-critical software engineering

Source: ISSN: 0166-3615 ; Computers in Industry ; https://laas.hal.science/hal-04043572 ; Computers in Industry, 2023, 148, pp.103887. ⟨10.1016/j.compind.2023.103887⟩.

Record details

Read More Add to Saved list

Academic Journal

Overworld: Assessing the geometry of the world for Human-Robot Interaction

Authors : Sarthou, Guillaume;

Subjects: Multi-Modal Perception for HRI; Human-Robot Collaboration; Software Architecture for Robotic and Automation

Source: ISSN: 2377-3766 ; IEEE Robotics and Automation Letters ; https://hal.science/hal-04037386 ; IEEE Robotics and Automation Letters, 2023,

Record details

Read More Add to Saved list

Conference

Constrained Differential Dynamic Programming: A primal-dual augmented Lagrangian approach

Authors : Jallet, Wilson; Bambade, Antoine; Mansard, Nicolas ...

Subjects: Robotics and automation; Optimal control; Trajectory optimizationKyoto; JapanKyoto, Japan

Source: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systemshttps://hal.science/hal-035976302022 IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2022,

Record details

Read More Add to Saved list

Conference

Engineering Awareness in Interfaces: Focus on Automation and Visualization

Authors : Garrido, Juan Enrique; Palanque, Philippe; Quigley, Aaron ...

Subjects: Engineering Interactive Systems; Situation Awareness; AutomationSophia Antipolis; France

Source: EICS '22 Companion: Companion of the 2022 ACM SIGCHI Symposium on Engineering Interactive Computing Systems ; 14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022) ;

Record details

Read More Add to Saved list

Conference

Engaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change (Extended Abstract)

Authors : Baldauf, Matthias; Fröhlich, Peter; Roto, Virpi ...

Subjects: automation; user experience; engagementNew Orleans; LA; United States

Source: CHI EA '22: Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems ; Conference on Human Factors in Computing Systems (CHI 2022) ; https://hal.science/hal-03855009 ;

Record details

Read More Add to Saved list

Conference

Implicit Differential Dynamic Programming

Authors : Jallet, Wilson; Mansard, Nicolas; Carpentier, Justin ...

Subjects: Optimal control; Robotics and Automation; Trajectory optimisationUnited StatesPhiladelphia, United States

Source: International Conference on Robotics and Automation (ICRA 2022) ; https://hal.science/hal-03351641 ; International Conference on Robotics and

Record details

Read More Add to Saved list

Conference

Automatic testing of OCE, a human-centered reinforcement learning system for automated software composition

Authors : Demougeot, Maxence; Delcourt, Kévin; Arcangeli, Jean-Paul ...

Subjects: Test automation; Testing tools; Automated software compositionVirtual Event; Japan

Source: Proceedings of the 1st International Workshop on Intelligent Software Engineering co-located with 29th Asia-Pacific Software Engineering Conference (APSEC 2022) ; 1st International Workshop on

Record details

Read More Add to Saved list

Conference

Task Models Based Gameful Design as a Mean to Increase Engagement with Automation

Authors : Martinie, Célia; Palanque, Philippe;

Subjects: Interactive systems and tools; automation; gameful designNew Orleans; United States

Source: AutomationXP 2022 - Engaging with Automation - Understanding and Designing for Operation, Appropriation, and Behaviour Change: Proceedings of the Workshop on Engaging

Record details

Read More Add to Saved list